// JDDFactory.java, created Aug 1, 2003 7:06:47 PM by joewhaley
// Copyright (C) 2003 John Whaley <jwhaley@alum.mit.edu>
// Licensed under the terms of the GNU LGPL; see COPYING for details.
package net.sf.javabdd;

import java.util.Collection;
import java.util.List;
import java.math.BigInteger;

/**
 * JDDFactory
 * 
 * @author John Whaley
 * @version $Id: JDDFactory.java,v 1.5 2005/04/08 05:27:52 joewhaley Exp $
 */
public class JDDFactory extends BDDFactory {

	@Override
	public BDD zero() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public BDD one() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	protected void initialize(int nodenum, int cachesize) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public boolean isInitialized() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void done() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void setError(int code) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void clearError() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int setMaxNodeNum(int size) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public double setMinFreeNodes(double x) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int setMaxIncrease(int x) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public double setIncreaseFactor(double x) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public double setCacheRatio(double x) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int setNodeTableSize(int n) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int setCacheSize(int n) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int varNum() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int setVarNum(int num) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public BDD ithVar(int var) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public BDD nithVar(int var) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void printAll() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void printTable(BDD b) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int level2Var(int level) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int var2Level(int var) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void reorder(ReorderMethod m) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void autoReorder(ReorderMethod method) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void autoReorder(ReorderMethod method, int max) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public ReorderMethod getReorderMethod() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int getReorderTimes() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void disableReorder() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void enableReorder() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int reorderVerbose(int v) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void setVarOrder(int[] neworder) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public BDDPairing makePair() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void swapVar(int v1, int v2) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int duplicateVar(int var) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void addVarBlock(BDD var, boolean fixed) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void addVarBlock(int first, int last, boolean fixed) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void varBlockAll() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void clearVarBlocks() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void printOrder() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public String getVersion() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int nodeCount(Collection r) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int getNodeTableSize() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int getNodeNum() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int getCacheSize() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public int reorderGain() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	public void printStat() {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	protected BDDDomain createDomain(int a, BigInteger b) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

	@Override
	protected BDDBitVector createBitVector(int a) {
		throw new UnsupportedOperationException("Not supported yet.");
	}

    }
